Infinite distributive laws versus local connectedness and compactness properties
نویسندگان
چکیده
منابع مشابه
Distributive Laws and Decidable Properties of SOS Specifications
Some formats of well-behaved operational specifications, correspond to natural transformations of certain types (for example, GSOS and coGSOS laws). These transformations have a common generalization: distributive laws of monads over comonads. We prove that this elegant theoretical generalization has limited practical benefits: it does not translate to any concrete rule format that would be com...
متن کاملCharacterizing Continuity by Preserving Compactness and Connectedness
Let us call a function f from a space X into a space Y preserving if the image of every compact subspace of X is compact in Y and the image of every connected subspace of X is connected in Y . By elementary theorems a continuous function is always preserving. Evelyn R. McMillan [6] proved in 1970 that if X is Hausdorff, locally connected and Frèchet, Y is Hausdorff, then the converse is also tr...
متن کاملConnectedness and compactness on standard sets
We present a nonstandard characterization of connected compact sets Mathematics Subject Classification 2010: 26E35, 54D05, 54D30.
متن کاملOperads, clones, and distributive laws
We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other previous categorical analyses of operads (via Day’s tensor products, or via analytical functors) fit with the profunctor approach.
متن کاملCacti and filtered distributive laws
Motivated by the second author’s construction of a classifying space for the group of pure symmetric automorphisms of a free product, we introduce and study a family of topological operads, the operads of based cacti, defined for every pointed simplicial set .Y;p/ . These operads also admit linear versions, which are defined for every augmented graded cocommutative coalgebra C . We show that th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2009
ISSN: 0166-8641
DOI: 10.1016/j.topol.2009.03.029